theorem :: XPRIMES2:615

canceled;