蒲 ฅ՞•ﻌ•՞ฅ says to 修真•聊天•群
我自己是覺得有些純數的證明,是有足夠嚴謹,他們的 "成立" 一般都是先限定好條件然後證明此條件下必然成立