引一个侧面的证明

01234567