Conditions that are not explicitly stated but can be inferred from existing explicit expressions, or conditions that are not explicitly stated but are routines or truths. For example, in an isosceles triangle, a line segment is perpendicular to the base, so the line in which this line segment is located also bisects the base and vertex.