Double counting (source code)

= Double counting
{wiki=Double_counting_(proof_technique)}

Double counting proves an identity by counting the same finite set in two different ways.