Knowing about “equal area” while proving a claim about equal areas