<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T27"><span class="comment"><font color="firebrick">:: NUMBER05:27</font></span><br/></a><div class="add">117 <a href="number05.html#R2" title="NUMBER05:pred.2">satisfies_Sierpinski_problem_76a</a> </div></div>
