theorem :: XPRIMES0:1559

canceled;