Das Theorem gibt uns, in großen Zügen, eine Methode, wie mit Intensionen zu verfahren ist. Es sagt etwa: ‘So wird es ausschauen müssen’.