theorem :: XPRIMES2:778

canceled;