Ему приписываются две основные теоремы, первая о сумме углов в треугольнике. А какая вторая?