было доказано