解决问题和形式化证明都值得认可。 这就是 #JustinSunPrize 的结构方式。