Follow lem (All 1)