This is because when we do verification of an
identity, we must work separately on both sides, and to see in the end
if we can get an equality. Because if we square both sides, that already means
that we assume that the equality exist in the beginning, so no need to
verify the identity.
