theorem :: XPRIMES1:2640

canceled;