take 5 ; :: thesis: ( 5 is 5 _or_greater & 5 is prime )
thus ( 5 is 5 _or_greater & 5 is prime ) by PEPIN:59; :: thesis: verum