Prove that for n >= 1, the expression ([2n], [n]) equals ((1 * 3 * 5 * ... * (2n - 1)) / (2 * 4 * 6 * ... * 2n)) * 2^(2n).