En af dessa satser är den , attenligt