Giả sử A là abc¯abc¯
=> B=abcabc¯B=abcabc¯
Ta có
abc¯.1001=abcabc¯abc¯.1001=abcabc¯
=> abc¯=abcabc¯:1001abc¯=abcabc¯:1001 (1)
Mặt khác
Giải giả thiết ta được
abcabc¯:7:11:13=abc¯abcabc¯:7:11:13=abc¯
=> abcabc¯:(7.11.13)=abc¯abcabc¯:(7.11.13)=abc¯
=> abcabc¯:1001=abc¯abcabc¯:1001=abc¯