A video that proves or finds the formula for the number of integer n mod p in an interval a and b inclusive

I think it might be interesting to prove this formula or to find it! The proof isn't as hard as it looks.