שינויים

קפיצה אל: ניווט, חיפוש
/* הצרנה */
פתרון:
ההצרנה <math>\forall p >1 : (P(p)\iff Q(p))</math> כאשר
* <math>P(x)</math> הוא הפרדיקט "x" הוא ראשוני.
* <math>Q(x)</math> הוא הפרדיקט <math>\forall a,b : p|ab \Rightarrow (p|a \lor p|b)</math>
659
עריכות