@gerbrand @quincy @Virginicus @mildsunrise
Often "left as exercise to the reader" means "I have done this problem/proof in the past, so I know it is possible. But I don't feel like doing it right now. I will not more examine *why* I might be avoiding it. It couldn't possibly be that something deep in my being remembers how horrible it was and I am avoiding it as all mathematicians avoid solved problems they know the answer to if its a lot of work (after all isn't that the point of math?)"