"Более менее правильно" не есть 100% доказательство. Надо тестить.