theorem :: XPRIMES1:1732

canceled;