theorem Th379: :: NUMBER11:379

Sum (digits (480,10)) = 12