对：）是从a‘ 开始，但逻辑是没有pair，所以a‘不是定理。

来源: JSL2023 于 2024-01-19 16:10:50 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
请您先登陆，再发跟帖！