Tag: inconsistency in geometry angle proofs