KL距離の導出は工学部1年として必須ですか?