Create formelltbevis.txt