Учитывая, что то:
Следовательно, является следствием
Так как и определено для всех возможных значений то определена для всех возможных знаяений.
Следовательно, является следствием
Так как если каждое из двух уравнений является следствием другого, то эти уравнения равносильны, то уравнения и равносильны.