Removed silly proof that tells us nothing interesting