theorem Th701: :: NUMBER11:701

Sum (digits (3720,10)) = 12