proof of the balancing