4 !r % hyp.-oblig.