Section 2

Update of proof Woronowicz characters