Мы финансово обосновываем доказательство. Направляя полезную энергию в глобальный суперкомпьютер, который сможет доказать что угодно и всё.