En principio se intentó buscar demostraciones alternativas de estos teoremas sin usar congruencia de segmentos.