theorem :: XPRIMES0:5

canceled;