Implica Tbc=WC (6)