A thing is obvious mathematically after you see it.