theorem :: XPRIMES1:1488

canceled;