满足没满足，这很容易知道吧
【 在 separateness 的大作中提到: 】
: 我突然想到可能已经证明过了
: 否则怎么会知道现在不满足呀
: 自己选择的路跪着也要走完吧
--
FROM 144.12.218.*