Der Unterschied zwischen dem bewiesenen & dem unbewiesenen math. Satz ist nicht der zwischen dem verifizierten & unverifizierten physikalischen. D.h.: der Unterschied der Brauchbarkeit & der Verwendung ist nicht der gleiche.