Tilämpningen af denna sats gör sig galandei