theorem :: XPRIMES2:2957

canceled;