Notandi:Friðrik Bragi Dýrfjörð/Setning

Úr Wikipediu, frjálsa alfræðiritinu
Undirstöðusetning reikningslistarinnar

Sérhverja náttúrlega tölu n ≥ 2 má rita á einn veg sem margfeldi frumtalna.

Sönnun:

Látum F(n) standa fyrir fullyrðinguna „n er marfeldi frumtalna“...

QED