Для математиков ее доказательство было святым Граалем с 1637 года, когда Пьер Ферма написал на полях сочинения Диофанта: «Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него.» Ее, наконец, доказал английский математик Эндрю Уайлс в 1995. До того математики считали ее предположением. Принимая во внимание всю сложность доказательства Уайлса, и использование продвинутых методов и знаний математики двадцатого века, многие математики думают, что Ферма (искренне) ошибался, когда написал, что смог доказать ее. Я рассказываю историю только, чтобы проиллюстрировать различие между гипотезой и теоремой. Как я уже говорил, я собираюсь заимствовать термин математиков «теорема», но я произношу «теорума», чтобы отличить его от математической теоремы. Научные теоремы, такие, как эволюция или гелиоцентризм, являются теориями, которые соответствуют в Оксфордском словаре «Смыслу 1». [Это] было подтверждено или установлено наблюдением или экспериментом, и представлено или принято как объяснение известных фактов; [это] заявление того, что, как считается, является общими законами, принципами, или причинами чего-то известного или наблюдаемого. Научная теорума не была — не может быть — доказана в том смысле, в котором доказывается математическая теорема. Но здравый смысл воспринимает это как факт, в том же смысле, как «Теория» что Земля круглая, а не плоская, является фактом, и теория, что зеленые растения получают энергию от солнца является фактом. Все научные теорумы: подтверждаются огромными количествами доказательств, принимаемыми всеми информированными наблюдателями, бесспорными фактами в обычном смысле этого слова. Как со всеми фактами, если мы собираемся быть педантичными, бесспорно возможно, что наши измерительные приборы и органы восприятия, которыми мы считываем с них, являются жертвами массового обмана.