theorem :: XPRIMES2:2951

canceled;