Antagande , att 3 | nf:åUllst