theorem :: XPRIMES0:1483

canceled;