したがって、回帰性は、(ℓ"p")** ＝(ℓ"q")* ＝ ℓ"p" という等号のつながりによって理解される。