theorem :: XPRIMES1:1492

canceled;