added proof for normalization theorem for forms