финикийский_торговец, мне кажется, что необходимость привлечении пресловутой теоремы для данного случая просто нет.