Note: This is an automatically generated HTML conversion of a LaTeX file, provided for convenience. The authoritative version is the PDF version.