theorem :: XPRIMES2:3047

canceled;