Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?