From the Rank Theorem to the Vaschy-Buckingham Theorem | Synapse