分裂補題
http://math.stackexchange.com/questions/748699/abstract-nonsense-proof-of-the-splitting-lemma/753182#753182