El documento describe la demostración del Teorema de Euclides desde el modelo MTSK. Explica que Euclides se dio cuenta que al trazar la altura de un triángulo rectángulo se originan dos triángulos semejantes entre sí y con el original, lo que implica proporcionalidad de lados. Luego analiza la demostración del teorema desde los subdominios del modelo MTSK para ver los conocimientos que debe tener el profesor para enseñarlo.