theorem :: XPRIMES2:6896

canceled;