一个官科把两个民科关在了一个很大很大很大的房子里。这个房子里有很多小房间，每个小房间有多个入口和一个出口，出口和入口只能单向通过。出口和入口外面有可能是大自然，也有可能是另一个小房间。起初两个民科在同一个房间里，民科们可以在房子里随意走动。但实际上，民科们如果沿着出口走，最终会陷入循环。官科扬言，只要民科能凭借逻辑严谨地证明这些房间最终会陷入一个圈，就放走他们。由于官科过于狡猾，民科们即使在房间里做标记，也会被官科借机清除掉。问：聪明的民科们要怎样做，才能证明他们最终会陷入循环？