theorem Th407: :: NUMBER11:407

Sum (digits (780,10)) = 15