Denna sats , såparadox