for X, Y being set st Y in Tarski-Class X holds
not Y, Tarski-Class X are_equipotent