Lem 8.5\