<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T17"><span class="comment"><font color="firebrick">:: NUMBER05:17</font></span><br/></a><div class="add">14,35 <a href="number05.html#R1" title="NUMBER05:pred.1">satisfy_Sierpinski_problem_35</a> </div></div>
