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