theorem :: XPRIMES2:59

canceled;