theorem :: XPRIMES2:6939

canceled;