theorem Th1296: :: NUMBER11:1296

Sum (digits (3975,10)) = 24