Denna banala sats visargrundligen