theorem Th1350: :: NUMBER11:1350

Sum (digits (4650,10)) = 15