三角形内角和是1800，其判断形式是( )。