(re)Descubrimiento automático del teorema de Simson y las generalizaciones de Steiner y Guzmán