theorem :: NUMBER11:1378

Sierp36 value (((<%0,0%> ^ (11 --> 9)) ^ <%1%>),10),100