short proof
記事はありません。