So long as the Revenue Commissioner of Choctaw County has satisfied all prerequisites to receive supernumerary retirement benefits, payment for supernumerary retirement benefits may not be denied as a result of the Revenue Commissioner also receiving retirement benefits from the Teachers’ Retirement System, provided that the retirement benefits are related to different and separate time periods of employment or service.