theorem :: XPRIMES2:5467

canceled;