theorem Th623: :: NUMBER11:623

Sum (digits (2940,10)) = 15