theorem :: XPRIMES0:1553

canceled;