Es inmediato definir el número total de microestados compatibles como