Formalny dowód jest zakończony. Konsolidacja i porządkowanie. ~30 minut