Welke planeet van het zonnestelsel is met behulp van wiskunde ontdekt en niet door observatie?