Re: [math-fun] A linear algebra theorem?