if L={<m> | L(m) contains 5 words}
so L is finite and threfore should be in R
but the subset of RE C={L | L contains 5 words} is non-trivial and therefore acordind to rice Lc(=L) is not in R
what is the problem in my logic?