猪八戒的前身:综合除法的问题