theorem Th211: :: NUMBER11:211

Sum (digits (384,10)) = 15