命題
6→7