Let us denote by i:O+→S+/H and d:S+/H→O+ the homomorphisms defined in Propositions 2 and 3, and let us write the abelian groups O+ and S+/H additively; then d(i(θ))=2θ for θ∈O+ and i(d(φ))=2φ for φ∈S+/H.
In fact, if φ is a rotation, we have φ=φ−1, whence d(i(φ))=φ/φ=φ2. On the other hand, if φ∈S+/H, φ is the class mod. H of a direct similarity u, and d(φ)=u/u=u2/N(u) is congruent to u2 mod. H; whence the second formula.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.