[0GC]Mostrate che se \(A=B^ c\) allora \((\overline B)^ c={{A}^\circ }\), usando le definizioni [0G6]↺↻ e [0G7]↺↻.