VI 锯齿形理论和无类理论