النظرية اللي بيستند ليها تعريف القسمة الأقليدية بيضمن وجود ناتج قسمة وباقي فريدين دايمًا.