theorem Lemma0: :: LATTBA_1:6

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