theorem :: XPRIMES2:679

canceled;