theorem :: XPRIMES2:739

canceled;