1. カテゴリーなし

yet another proof