More detailed comparison with [Wilson, 1975]. Proof of the uniqueness of the non-trivial fixed point. Reformatting, relabeling.