que por extensión resulta: