theorem Th742: :: NUMBER11:742

Sum (digits (294,10)) = 15