Dess bevisning är klar ,'