theorem Th215: :: NUMBER11:215

Sum (digits (416,10)) = 11