Доказать бинарность операции со рационални