我最近上線代的心得： 那個是什麼？證明什麼的能吃嗎？nullspace是啥？太好了我知道orthogonal是啥