. "s is a multiple of p." . . .