5000番台のEN記事は短いのが多い印象。シャケの定理のは笑った