gēn / jù / yǐ / shàng / tuī / dǎo / ， / zhèng / míng / wán / bì / 。根据以上推导，证明完毕。Based on the derivation above, the proof is complete.