другом ли(?)

уточнить формулировку теоремы