1行目から2行目をどうやって演繹できるのかと小一時間