Real amatrices Tube XXX. Page 17.