Т. Фалеса о том, что \\ прямые, при пересечении двух других прямых, отсекают от них соразмерные (с коэфициентом подобия) отрезки.
В трапеции - это два её основания и средняя линия ( \\ основаниям - определение) , в результате получаются две подобные трапеции.