theorem :: XPRIMES0:673

canceled;