theorem :: XPRIMES2:772

canceled;