Finiteness Theorems for Binary Forms with Given Discriminant | Synapse