Real amatrices Tube XXX. Page 16.