Is 1 lucas prime?