geometry proofs relate app&game