三角形の内角の和は二直角より小さい、などの定理がある