В чем заключается основная теорема Эдсгера Дийкстры о трех алгоритмических структурах?

Теорема Эдсгера Дейкстры, доказанная в 1969 году, гласит, что алгоритм для решения любой логической задачи можно составить только из трёх базовых структур: следования, ветвления и цикла. 13

Последовательность — однократное выполнение операций в том порядке, в котором они записаны в тексте программы. 2

Ветвление — однократное выполнение одной из двух или более операций, в зависимости от выполнения заданного условия. 2

Цикл — многократное исполнение одной и той же операции до тех пор, пока выполняется заданное условие (условие продолжения цикла). 2