theorem :: XPRIMES0:1511

canceled;