Added information about example file with proof