theorem Th342: :: NUMBER11:342

Sum (digits (722,10)) = 11