https://phylosopher07.github.io/blog/blog/posts/linear-independence/