This action start the proving process to prove the current theorem.
This action popup a dialog to let the user to define the conclusion to be proved.
JGEX Help