مِنْ مَعْرِفَةِ أَرْبَعَةِ أَشْيَاءَ التَّمَاثُلُ وَالتَّدَاخُلُ وَالتَّوَافُقُ وَالتَّبَايُنُ بَيْنَ الْعَدَدَيْنِ لِيُتَمَكَّنَ مِنْ الْعَمَلِ فِي التَّصْحِيحِ فَنَقُولُ إنْ كَانَ أَحَدُ الْعَدَدَيْنِ مُمَاثِلًا لِلْآخَرِ فَهِيَ الْمُمَاثَلَةُ فَيُكْتَفَى بِضَرْبِ أَحَدِهِمَا عَنْ الْآخَرِ وَإِنْ لَمْ يَكُنْ مُمَاثِلًا لَهُ فَإِنْ كَانَ الْأَقَلُّ جُزْءَ الْأَكْثَرِ فَهِيَ الْمُتَدَاخِلَةُ وَإِنْ لَمْ يَكُنْ لَهُ جُزْءٌ فَإِنْ تَوَافَقَا فِي جُزْءٍ فَهِيَ الْمُوَافِقَةُ وَإِنْ لَمْ يَتَوَافَقَا فِي جُزْءٍ
من معرفة أربعة أشياء التماثل والتداخل والتوافق والتباين بين العددين ليتمكن من العمل في التصحيح فنقول إن كان أحد العددين مماثلا للآخر فهي المماثلة فيكتفى بضرب أحدهما عن الآخر وإن لم يكن مماثلا له فإن كان الأقل جزء الأكثر فهي المتداخلة وإن لم يكن له جزء فإن توافقا في جزء فهي الموافقة وإن لم يتوافقا في جزء