includes theorem specifiying min number of certificates