Любая теорема состоит из двух частей: А - условие, В - заключение. И формулируется так: " если А, то В".