This formulation is equivalent to BCT1 and is sometimes more useful in applications.
这个表述是BCT1的一个结果，有时更加有用。