theorem :: XPRIMES2:755

canceled;