Antag att en delaf