theorem :: XPRIMES2:72

canceled;