theorem Th1022: :: NUMBER11:1022

Sum (digits (1357,10)) = 16