theorem :: XPRIMES0:739

canceled;