工房の頃、よくﾍﾞｸﾄﾙの証明問題とかで｢ﾍﾞｸﾄﾙa,bは1次独立より〜｣なんて使ってたけど、ﾗﾝｸとか自由度とか何も知らずに線型独立って使ってたんだなあ…。ﾕｰｸﾘｯﾄﾞ空間やﾕﾆﾀﾘ空間も断らずに仮定してたんだよなあ…。行列消えるとなおさら教えるの大変だな。