Прямая теорема не является обратной, это как?

Условие обратной теоремы не принимается как данное, так как оно является заключением доказанной прямой теоремы. Его правильность засвидетельствована доказательством прямой теоремы.