theorem :: XPRIMES2:1559

canceled;