theorem :: XPRIMES0:727

canceled;