Spanish astronomers have proof of the existence of Planet 9