theorem Th713: :: NUMBER11:713

Sum (digits (3840,10)) = 15