caasih_, au: 建構式(?)證明 https://gist.github.com/CindyLinz/046e4ef5e226ffeaf7ea