Added a corollary to elimEquiv