さらにラムダ項の構成のうちラムダ抽象の規則を