Sure, go on and try it ;)

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