Existence of a certified Euclidean two-phase local trial with its query bound.

theorem V7.euclideanTrial : EuclideanTrialStatement