theorem Th11: :: MATRIX_9:11

for K being Field
for a, b being Element of K holds the multF of K $$ <*a,b*> = a * b