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