Две теоремы об эквациональных логиках в сигнатуре из двух унарных символовстатья