Real amatrices Tube XXX. Page 27.