theorem Th1020: :: NUMBER11:1020

Sum (digits (1334,10)) = 11