Возможно они и доказали, но это скорее всего частные случаи. Не могу спать долго, хоть и живу сейчас один.