theorem :: XPRIMES2:1779

canceled;