>Доказывать можено и эмпирическим путем. Логика лишь самая малая часть призваная для порядка.
Эмпирическим путём невозможно что либо доказать. В принципе. Ну, кроме самой возможности того, что всё пойдёт так, как было показано.