Tangents from the corners≈ 1300
Cada passo que você prova aparece aqui, com a ferramenta que o prova.