Translations:Blip/23/ja

最後の必要条件がやや分かりにくいため、図と式で表す: