theorem Th46: :: HILB10_7:46

doms {} = {{}}