Normal form theorem

Redirect page