theorem :: XPRIMES0:1487

canceled;