2 ใคใฎ้ณๆบ A, B ใใใใB ใๅใใจใใใใฉใผๅนๆใง B ใฎ้ณใๅคๅใใพใใA ใจ B ใฎใใชใๅๆฐ \(N\) ใจ็งปๅ็ถๆณใใใB ใฎๆฏๅๆฐใ็งปๅ้ๅบฆใ้็ฎใใๅ้กใงใใ
ใใณใ๏ผใใใชใใๆถใใ = 2 ใคใฎๆฏๅๆฐใไธ่ดใใใใจ่ชญใฟๆฟใใใจใ็ๆนใฎๆฏๅๆฐใฎๅคๅ้ใไปๆนใจใกใใใฉๆใใใใซๅใใใใใจใๅใใใพใใ
(1) B ใฎๅ
ใฎๆฏๅๆฐ \(f_B\)
(2) ใใชใใๆถใใ B ใฎ้ใ
(3) (็บๅฑ) B ใฎ็งปๅ้ๅบฆ \(p\)
ใB ใ้ ใใใใจใใชใใๆธใใ โ B ใฎๆนใๅ ใ A ใใ้ซใ้ณใใจๆจ็ใใ่ซ็ใ้่ฆใใB ใ้ ใใใใจ B ใฎ้ณใไธใใ โ A ใซ่ฟใฅใ โ ใใชใใๆธใใใจใใๆตใใ็ดๅพใงใใใฐ OKใ้ใ ใฃใใ B ใฏๅ A ใใไฝใ้ณใ