theorem :: XPRIMES0:757

canceled;