counting-principles

The product rule
Suppose that a procedure can be broken into a sequence of two tasks. If there are m ways to do the first task and n ways to do the second task, then there are x to do the procedure.

Theorem: If