Теорема Бёма и Якопини

Бём и Якопини доказали в 1966 году, что любую программу можно написать с использованием трёх структур: последовательности, выбора(ветвления) и итераций(повторов, циклов).