https://9dok.net/document/zlg1wx26-gram-matrix-bilinearform-a-seiv-eink-vektorraum-bilinearformb.html