more equality types theorem