theorem :: XPRIMES2:6234

canceled;