Yes, that proof of the multiplicativity of the Euler function is given in Example 3.1.4.
I'm no longer sure why I arranged things as I did, but apparently I wanted to introduce
counting methods as part of algebra, which I could do in chapter 1 without building up any machinery.
By the way...