Create provesAniol.txt