Is 1 cuban prime 1?