一個用到很多引理的好題目

August 31, 2021

某天被別人問的一個有趣的題目，裡面用到了很多好玩的引理。

一個用到很多引理的好題目