<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T32"><span class="comment"><font color="firebrick">:: NUMBER05:32</font></span><br/></a><div class="add">32 <a href="number05.html#R3" title="NUMBER05:pred.3">satisfies_Sierpinski_problem_76b</a> </div></div>
