theorem Th1018: :: NUMBER11:1018

Sum (digits (1311,10)) = 6