İçler-dışlar çarpımının ispatı, bir orantıda (a : b = c : d) içler (b ve c) ile dışlar (a ve d) arasındaki çarpımın birbirine eşit olduğunu gösterir. Bu ispat şu şekilde yapılır: 1. Çarpım eşitliği: a x d = b x c. 2. Dağılma özelliği: b x c = (a + (d - a)) x c. 3. Toplama işlemi: b x c = a x c + (d - a) x c. 4. Ortak çarpan: (d - a) x c = c x (d - a). 5. Yer değiştirme: c x (d - a) = c x a. 6. Sonuç: a x c = a x c, yani içler çarpımı dışlar çarpımına eşittir.