theorem :: XPRIMES2:675

canceled;