You are correct. That would also be a way to find the number of irreducible fractions. (I think you mentioned it in class without the $[\,]$, but maybe you didn't hear me when I asked about it.)