oktw says to #ysitd
<licson>: 又或是畢氏定理