theorem Th314: :: NUMBER11:314

Sum (digits (456,10)) = 15