se cumple que x = p; lo que implica que S es finito.