theorem :: XPRIMES2:45

canceled;