propuso simultáneamente una extensión similar,