Gọi ƯCLN ( 3n+1 ; 5n+4 ) là d ( d là số tự nhiên )
=> 3n+1 chia hết cho d ; 5n+4 chia hết cho d
=> 5.(3n+1) chia hết cho d ; 3.(5n+4) chia hết cho d
=> 15n+5 chia hết cho d ; 15n+12 chia hết cho d
=> 15n+12 - (15n+5) chia hết cho d
=> 7 chia hết cho d
=> d= 1;7
=> 3n + 1 và 5n + 4 không phải là 2 số nguyên tố cùng nhau.
=> d= 7
=> ƯCLN ( 3n+1 ; 5n+4 ) = 7