[0GC]Show that if \(A=B^ c\) then \((\overline B)^ c={{A}^\circ }\), using the definitions [0G6]↺↻ and [0G7]↺↻.