theorem :: XPRIMES2:2640

canceled;