null space is a subspace proof. There are any references about null space is a subspace proof in here. you can look below.