complete class theorems