theorem Th767: :: NUMBER11:767

Sum (digits (528,10)) = 15