Inferencias elementales a partir de la congruencia de ángulos