I en proportion är produkten av täljaren i det första förhållandet och nämnaren i det andra förhållandet lika med produkten av nämnaren i det första förhållandet och täljaren i det andra förhållandet.
ba=dc⇒ad=bc
Bevis
Korsmultiplikation
Egenskapen för korsmultiplikation kan bevisas genom att använda likhetsegenskaperna.