chkgvert Nauelér * 8 * n.