Kan man bevisa detta?