Prova di un progetto riguardante gli stati finiti