Theorem 1 (Multiplication principle of counting)
Suppose that 2 tasks T1 and T2 are to be
performed in sequence. If there are n1 ways to do
the first task and n2 ways to do the second task
after the first task has been done, then there are
n1n2 ways to do the sequence T1T2
.