Add a proof about the impossibility to have an even number of token in a network with an odd number of processes.