theorem Th448: :: NUMBER11:448

digits (1200,10) = <%0,0,2,1%>