A good mathematician is lazy, but in a constructive way.