5-6判斷式與迴圏