theorem :: XPRIMES1:2732

canceled;