Theorem 12-1 Discovery