Sim, foi mostrado por Böhm e Jacopini em seu artigo seminal de 1966 "Flow Diagrams, Turing Machines and Languages ​​with Only Two Formation Rules".

Eles provaram que todos os programas de computador podem ser escritos usando apenas três estruturas:

1) Sequência
2) Seleção (se-então-outro)
3) Iteração (loop while)

Isto significa que qualquer programa, por mais complexo que seja, pode ser construído usando apenas estes três blocos básicos de construção.

Por exemplo, aqui está como você pode escrever um programa para encontrar o maior número em uma lista de números usando apenas estas três estruturas:

```píton
números =[1, 2, 3, 4, 5]
maior =números[0]

para número em números:
se número> maior:
maior =número

imprimir (maior)
```

Este programa primeiro inicializa a maior variável com o primeiro número da lista. Em seguida, ele itera sobre o restante dos números da lista, verificando cada um para ver se é maior que o maior número atual. Se um número maior for encontrado, ele será armazenado na maior variável. Finalmente, o programa imprime o maior número.