State and give a proof of how many 11-digit numbers that do not begin with a 3 or a 4 contain exactly three 3s and four 4s without simply enumerating them by brute force. Note: a number may not have a leftmost digit of zero. (A fixed size purely numerical expression for the answer need not be evaluated.)