> For example, we don't need to think in terms of Q[sqrt(3)]; I see that as a distraction.
Except for replacing Q[sqrt(3)] by a suitable ring extension of Z, I see no possibiliy to simplify the argument. So what kind of simplification do you have in mind?