обратный ему

• This theorem, together with its converse, proves that ...