n\equiv_{25}23