The maximum number of real roots of a multihomogeneous system of polynomial equations. McLennan, Andrew (1999) Beiträge zur Algebra und Geometrie