theorem :: XPRIMES2:957

canceled;