gottlob alister last theorem 0=1