Двойное проецирование в статике: теория и примеры