theorem :: XPRIMES2:3992

canceled;