Talk:Fisher's inequality

First of three requirements seem to not be used
The proof stated seems not to use the first requirement. Is this necessary? Fskalker (talk) 18:07, 11 February 2024 (UTC)