theorem :: XPRIMES0:1523

canceled;