theorem :: XPRIMES2:1832

canceled;