Some Theorems about Matrix Multiplication (Extended Abstract)