Sérhverja náttúrlega tölu n ≥ 2 má rita á einn veg sem margfeldi frumtalna.
Látum F(n) standa fyrir fullyrðinguna „n er marfeldi frumtalna“...
QED
