prove 5×1000