theorem :: XPRIMES2:50

canceled;