Definición de número primo

a D primo "a" 1( a) = { es, si}