5) Если условие первой теоремы является заключением второй теоремы, а заключение первой теоремы является условием второй теоремы, то первую теорему называют ..., а вторую - ...

Если условие первой теоремы является заключением второй теоремы, а заключение первой теоремы является условием второй теоремы, то первую теорему называют обратной, а вторую - прямой.