theorem :: XPRIMES2:2946

canceled;