theorem Th201: :: NUMBER11:201

Sum (digits (304,10)) = 7