theorem :: XPRIMES2:6957

canceled;