比較する2番目のレンマを入力してください。