theorem Lemma33: :: LATTBA_1:2

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