Dokumen ini membahas tentang sifat-sifat bilangan bulat, termasuk operasi perkalian dan pembagian antara bilangan bulat positif dan negatif, serta penerapan sifat-sifat tersebut dalam bentuk pembuktian matematis. Ditegaskan bahwa jika a+c < b+c, maka a < b dan menyajikan serangkaian langkah dalam berbagai sifat aritmetika yang melibatkan bilangan bulat. Konsep invers penjumlahan dan sifat distributif juga diulas untuk memberikan makna lebih dalam terhadap operasi bilangan bulat.