How this model proves the theorem?