theorem Th707: :: NUMBER11:707

Sum (digits (3780,10)) = 18