(TXT) Is nine prime?