theorem :: XPRIMES2:782

canceled;