theorem :: XPRIMES0:461

canceled;