theorem Th1065: :: NUMBER11:1065

Sum (digits (744,10)) = 15