Availability, in the context of a computer system, refers to the ability of a user to access information or resources in a specified location and in the correct format.
Defined, the triangle proportionality theorem states that if you draw a line parallel to one of the sides of a triangle that also crosses the other two sides, then that line will divide the two sides in a proportional way.
The triangle inequality states that the sum of the lengths of any two sides of a triangle must be greater than or equal to the length of the third side. That sum can equal the length of the third side only in the case of a degenerate triangle, one with collinear vertices.