Proposición: Cualquier conjunto finito es contable.