Fix theorem's proof notation