given and prove calculator