theorem Th1278: :: NUMBER11:1278

Sum (digits (3675,10)) = 21