Der [u|U]nterschied 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.