theorem :: XPRIMES0:577

canceled;