theorem :: XPRIMES2:6698

canceled;