绝对演绎(无限)

/ 执粟