I have a marvelous proof that you can solve that with comptime but unfortunately the margins of this website are too small to contain it.