icke allenast filosofiskt utan till och med matematiskt bewisas.