theorem :: XPRIMES0:487

canceled;