theorem Lemma34: :: LATTBA_1:5

for T being Ternary_Boolean_Algebra
for a, b being Element of T holds Tern (a,(b `),b) = a