2.3 若干引理和公式