theorem WazneQLT7: :: LATQUASI:1

QLT_Ex1 <> QLT_Ex2