теорему укрепляют доказательством лемм, если к теореме наберется достаточное кол-во лемм, то теорема верна (в области определения-существования)