thus not the carrier of OrthoLattStr(# D,f,g,h #) is empty ; :: according to STRUCT_0:def 1 :: thesis: verum