theorem :: XPRIMES0:607

canceled;