https://www.gauss-friends.org/zh/2020/03/18/de-gauss-tipps-en-gauss-tips-17/