therefore it is concluded that a and a are equivalents