Dưới đây là chương trình Pascal để thực hiện các yêu cầu của bạn:

```pascal
program PageNumbering;

uses
SysUtils;

var
N, M, K, i, len: Integer;
pages: String;
C: Char;

begin
// Nhập số nguyên dương N
Write('Nhap so nguyen duong N (1 <= N <= 10000): ');
Readln(N);

// Tạo dãy số các trang sách từ 1 đến N
pages := '';
for i := 1 to N do
pages := pages + IntToStr(i);

// Tính số lượng chữ số K cần dùng
K := Length(pages);
Writeln('So luong K chu so can dung: ', K);

// Nhập số nguyên dương M
Write('Nhap so nguyen duong M (1 <= M <= ', K, '): ');
Readln(M);

// Lấy chữ số thứ M trong dãy
if (M >= 1) and (M <= K) then
begin
C := pages[M];
Writeln('Chu so thu ', M, ' la: ', C);
end
else
Writeln('Gia tri M khong hop le.');
end.
```

Chương trình này thực hiện các bước sau:
1. Nhập số nguyên dương N.
2. Tạo một chuỗi `pages` chứa các số từ 1 đến N.
3. Tính và in ra số lượng chữ số K cần dùng để đánh số trang.
4. Nhập số nguyên dương M.
5. Kiểm tra và in ra chữ số thứ M trong chuỗi `pages`.

Lưu ý rằng chương trình này giả định rằng người dùng nhập đúng các giá trị trong phạm vi cho phép. Nếu cần xử lý thêm các trường hợp ngoại lệ hoặc kiểm tra đầu vào, bạn có thể thêm các điều kiện kiểm tra tương ứng.