theorem Th19: :: TOPGEN_5:19

y=0-line c= y>=0-plane