letの元ネタが数学って認めるなら再代入(再定義)できないのが本来のletのあり方ってことじゃないの