theorem :: XPRIMES0:503

canceled;