<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lambdoc document</title><meta charset="utf-8"/><link rel="stylesheet" href="css/lambdoc.css" media="all" title="Default"/></head><body><div class="doc doc_invalid"><ul class="doc_errors"><li class="doc_error"><h1 class="doc_error_head">Error in line 1:</h1><ul class="doc_error_lines"><li class="doc_error_actual"><span class="doc_error_linenum">001</span><span class="doc_error_linestr">\newtheorem{123}{Theorem}{theorem}</span></li><li cl