不止相容，而且独立。

【 在 menglongwang 的大作中提到: 】
: 用自然语言说明证明过程梗概
--
FROM 111.167.211.*