Use the menu " To Prove" in the main menu or button to add the conclusion for the theorem.
JGEX Help