Partition of a rectangle into squares problem

Problem statement

Show that a rectangle can be partitioned into finitely many squares if and only if the ratio of its sides is rational

Proof via Dirichlet's simultaneous rational approximation theorem

We can choose an integer such that the product of every coordinate of any vertex of