theorem :: XPRIMES0:1481

canceled;