Investigation Theorem VIII