I found a brilliant proof but there was not enough hard disk space to save the file :(