Press enter key to place new proof in new line.