theorem Th112: :: NUMBER11:112

Sum (digits (78,10)) = 15