ultimate theorem proof