(8)
From (8),