Is 1 thabit prime of the 2nd kind?