Description: Class version of one implication of equvelv . (Contributed by Andrew Salmon, 28-Jun-2011)