theorem :: XPRIMES2:1740

canceled;