theorem :: XPRIMES2:51

canceled;