'todistus'
"\n<div style=\"margin-left: 40px; border-left: 3px solid khaki; padding:8px\">"
+"\n<p><b> Todistus.<\/b> Suljetulla... \\(\\Box\\).</p>"
+"\n<\/div><br>";