#P10678. 一般难度的推式子题

一般难度的推式子题