[多选] 

18、以PEM为一前提，增补（ ）为另一前提，可以必然推出。