r Λൈ͖ग़͢ɿʮfrefseereoeeeeerfʯ ᶅ r ΑΓޙΖʹ͋Δ eee Λൈ͖ग़͢ɿʮfrefseereoeeeeerfʯ ᶆ ᶃ ʙ ᶅͰൈ͖ग़ͨ͠จࣈͰ ʮfreeeʯ͕1ͭ ࡞ΕΔɿʮfrefseereoeeeeerfʯˠʮfsreoeeeeerfʯ ᶇ f Λൈ͖ग़͢ɿʮfsreoeeeeerfʯ ᶈ f ΑΓޙΖʹ͋Δ r Λൈ͖ग़͢ɿʮfsreoeeeeerfʯ ᶉ r ΑΓޙΖʹ͋Δ eee Λൈ͖ग़͢ɿʮfsreoeeeeerfʯ ᶊ ᶇ ʙ ᶉͰൈ͖ग़ͨ͠จࣈͰ ʮfreeeʯ͕1ͭ ࡞ΕΔɿʮfsreoeeeeerfʯˠʮsoeeerfʯ ᶋ f Λൈ͖ग़͢ɿʮsoeeerfʯ ➓ f ΑΓޙΖʹ͋Δ r Λൈ͖ग़͢ɿͳ͍ͷͰऴྃɻ݁Ռ 2ͭ
r Λൈ͖ग़͢ɿʮfrefeereeʯ ◦ r Λൈ͖ग़ͤΔҐஔ2ͭ͋Δ͕ɺΑΓࠨʹ͋ΔҐஔ͔Β r ΛऔΓग़͢ͷ͕࠷ద ͳͥɺΑΓࠨʹ͋ΔҐஔ͕͍͍ͷ͔ • ʮf r e f e e r e e eʯͷ f ʹରͯ͠औΕΔ r 2 ͭ ◦ ࠨଆʹ͋Δ r Λͱͬͨ࣌ɿ ▪ ʮfrefeereeeʯˠʮfrefeereeeʯˠʮfrefeereeeʯ ▪ ʮfreeeʯɿ 2ͭ࡞ΕΔ ◦ ӈଆʹ͋Δ r Λͱͬͨ࣌ɿ ▪ ʮfrefeereeeʯˠʮfrefeereeeʯˠʮfrefeereeeʯ ▪ ʮrefeeʯɿ1͔ͭ͠࡞Εͳ͍
ͷൣғΛߟ͑Δ ◦ 1จࣈͷ fɿʮf r e f e e r e e eʯɿऔΕΔ r 2ͭ ◦ 2จࣈͷ fɿʮf r e f e e r e e eʯɿऔΕΔ r 1ͭ • f ͕ӈଆʹ͋Ε͋Δ΄Ͳɺr ͷऔΕΔൣғڱ͘ͳΔ (औΕΔൣғ f ΑΓޙΖͷจࣈͳͷͰ) • औΕΔ r ͷൣғͷࠨଆͰ͋Δ΄Ͳɺ࣍ͷ f ͕औΕΔൣғͷจࣈΛ৵৯͠ͳ͍ • r ͷޙʹൈ͖ग़͢ e ʹ͍ͭͯಉ༷ • ࠨ͔Βॱ൪ʹจࣈྻΛૢ࡞͍ͯ͘͠ͱ͍͍