theorem Th292: :: NUMBER11:292

Sum (digits (133,10)) = 7