1, Demo prin reducere la absurd\
prsupunem ca n+4 si 3n+13 au si alt divizor comun infara de 1
fie acest divizor k≠1
k|(n+4) si k|(3n+13)
atunci k|3 *(n+4)sau k|(3n+12)
dar k|(3n+13)
scazand prima relatie din a doua
k|(3n+13-3n-12)
k|1
deci k=1dar noi am presupus k≠1 contradictie
deci presupunerea noastra a fost gresita
deci nu exista k≠1
deci(n+4) si (3n+13) sunt prime intre ele
restul vezi atas . sunt mai simple4