theorem Th300: :: NUMBER11:300

Sum (digits (285,10)) = 15