Ta có: 19831983=19833.19831980=19833.(19834)495=(....7).(.....1)495 => Có tận cùng là 7
19171917=1917.19171916=1917.(19174)479=1917.(....1)479 => Có tận cùng là 7
=> 19831983-19171917 = (....7)-(....7) =....0 => Có tận cùng là 0
Như vậy, 0,3.(19831983-19171917) sẽ là số nguyên.