theorem :: XPRIMES0:127

canceled;