consensus theorem