theorem :: XPRIMES0:587

canceled;