拉克萨斯动画所有出场:一道证明题