theorem :: XPRIMES2:1679

canceled;