theorem :: XPRIMES2:58

canceled;