Show that hat() is linear. From the exercise, widehat() is linear and so widehat()(3) and for any ≤Isom(²) Discrete,
≤(3) is ≃ₙ, ₙ or platonic.