(hnu : 0 < nu) : 0 < omega nu