Dies ist schon nicht einfach, bewegt sich aber im Rahmen üblicher mathematischer und logischer Überlegungen. Der theoretische Beweis der Richtigkeit ist ohnehin nicht möglich, wie man weiß. ###>This is already difficult enough, but is on the level of usual mathematical and logical reasoning. The theoretical proof of correctness is impossible anyway, as we know.