1)Αν

είναι το ελάχιστο κοινό πολλαπλάσιο των
τότε υπάρχει
ώστε
για κάθε
με 
2)
Το πολυώνυμο

έχει ακέραιους συντελεστές
3)Αν
φυσικοί τότε Το

είναι ρητός αριθμός που ο παρανομαστής του διαιρεί το
Αν
φυσικοί τότε 
4)Για

ισχύει

Χρησιμοποιώντας το ολοκλήρωμα

καθώς και το γεγονός ότι

να δειχθεί ότι το
είναι άρρητος.Το πρόβλημα αν το
είναι ρητός η άρρητος ήταν ανοικτό μέχρι τον Ιούνιο του 1978.Τότε δημοσιεύθηκε η πρώτη απόδειξη από τον Ελληνα μαθηματικό R.Apery(πατέρας Ελληνας μητέρα Γαλλίδα).Η απόδειξη που θα γίνει παραπάνω δεν είναι ίδια με αυτή του Apery.Χρησιμοποιεί όμως κάποιες από τις ιδέες του.Οταν ολοκληρωθεί θα γράψω από ποιο paper είναι Οι αποδείξεις των 1) 2) 3) 4) υπάρχουν η θα υπάρξουν στα
viewtopic.php?f=95&t=67129
viewtopic.php?f=95&t=67120
viewtopic.php?f=95&t=67119
Για τον Apery
https://en.wikipedia.org/wiki/Roger_Ap%C3%A9ry