Ettől persze még lehet lehet hogy használható a tétel, pl. olyan modell amelyben valamilyen megfeleltetéssel végtelenek is előfordulnak, de annyira áttételes így a kapcsolat, hogy konstruktív modell elképzelés nélkül aligha lehet értelmeset mondani.