มีเงื่อนไขจำนวนหนึ่งซึ่งสมมูลกับการที่ a และ b เป็นจำนวนเฉพาะสัมพันธ์
มีจำนวนเต็ม x และ y ที่ทำให้ ax + by = 1 (ดูหัวข้อเอกลักษณ์ของเบซู).
จำนวนเต็ม b มีอินเวอร์สการคูณ ที่มอดุโล a นั่นคือมีจำนวนเต็ม y ที่ทำให้ by ≡ 1 (mod a) กล่าวอีกแบบหนึ่งคือ b เป็นหน่วยหนึ่งในริง Z/aZ ของจำนวนเต็มมอดุโล a
