theorem :: XPRIMES2:745

canceled;