http://hiura39.php.xdomain.jp/2020/06/30/dot-products-and-duality-essence-of-linear-algebra-chapter-9/