A linear upper bound on the number of prime implicants