2-Site versus 3-site models of ATP hydrolysis by F1-ATPase: definitive mathematical proof using combinatorics and conservation equations - Nath, Sunil (Theory in Biosciences, 2024)