In proportion $a:b = c:d$, the product of extremes equals the product of—

In $a:b = c:d$, cross-multiplication gives $ad = bc$, where $a,d$ are the extremes and $b,c$ are the means. Therefore the product of the extremes equals the product of the means.