Bicovariant calculus in quantum theory and a generalization of the Gauss law