Red Luth Prime factorization Red Luth