" (લેમ 3.21)