Solution (source code)

= Solution

$Bx=0\iff ASx=0\iff x\in S^{-1}(\ker A)$; invertibility of $S$ preserves dimension.