In triangle $ABC$, $AB = AC$ and $AD$ is perpendicular to $BC$. Which rule proves that triangle $ABD$ is congruent to triangle $ACD$?