theorem :: XPRIMES2:907

canceled;