Теорема доказательства теоремы (иногда также называемая леммой) - это утверждение, которое используется для доказательства другой теоремы. Такая теорема обычно уже доказана или считается очевидной, и она помогает установить истинность главной теоремы. Использование теоремы доказательства теоремы позволяет упростить процесс доказательства и свести его к уже известным результатам.