theorem Th1038: :: NUMBER11:1038

Sum (digits (1587,10)) = 21