for r being irrational Real holds TRANQN .: (HWZSet r) = HWZSet1 r