"Un n-ovillo es una pareja (B3;T) donde B3 es la bola unitaria en R3 y T es un conjunto de n arcos propiamente encajados en B3. Un n-ovillo es llamado racional si, incluso moviendo B3, puede ser deformado en un n-ovillo ...