theorem Th1282: :: NUMBER11:1282

Sum (digits (3750,10)) = 15