theorem :: XPRIMES1:3728

canceled;