[see also: guarantee
Theorem 3 is remarkable in that considerably fewer conditions than in the previous theorems ensure universality.