theorem Th35: :: LATTBA_1:7

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