Basics_J: 簡約を用いた証明