theorem Th1334: :: NUMBER11:1334

Sum (digits (4450,10)) = 13