Los animales del circo

Un circo tiene animales que en total suman 11 cabezas y 20 patas. Hay el doble de cuadrúpedos que de bípedos. ¿Cuántos animales de cada tipo hay?

Fuente: lamenteesmaravillosa.com