İspatı yapılmadı ama bu sonuçlar birşeyler hesaplanarak yapıldı.