mathematical proof challenging Big Bang theory