展开 证明题的定理公理