結果 : how to write a biconditional statement in geometry