theorem :: XPRIMES2:2674

canceled;