How do you know whether an equation is an identity?