theorem Th1242: :: NUMBER11:1242

Sum (digits (3075,10)) = 15