Min. laptop specs for Davinci resolve 4k

[Nuxxxinho]

Hi all. I've been usin desktop pc for editing for ovr year now, but I need now laptop, because I'm going abroad for about 6 months. I need some laptop with specs that can edit mostly 1080p and sometimes 4k. I don't care if it takes too long to render or if sometimes playback is not smooth. As long as it can do the job (specialy with 4k editing, effects and color grade). Now I did some research, most people say 16g ram, i7 7th gen, gtx 1050 is not enough for 4k. But what if I edit and color grade in proxy, would it be ok then? And I am thinking buying used laptop, not new.I found these two laptops:
Asus Rog Zephyrus Ga502du AMD Ryzen 7 3750H, Quad-core, 2.3 GHz / 4.0 GHz, 6 MB cache, 16 GB DDR4 (2400 MHz), 24 GB max installable RAM, NVIDIA GeForce GTX 1660 Ti with Max-Q, 6 GB GDDR6, Storage: 512 GB SSD, Screen size: 15.6", Screen type: LED, Resolution: Full HD 1920 x 1080p, Screen features: 120 Hz display,
Dell Alienware M17x R3, i7-6820HK 2.7GHz (3.6GHz Turbo), 16GB DDR4 RAM, 180GB SSD + 1TB Hard Drives, 17.3" 4K LED Display, Dual Graphics: 1. Intel HD530 2. NVIDIA GTX 980M
Both 1000€ used. Which one of these is more suitable? Thanks

[Grapes]

Of the two machines ASUS seems to be the newer and more potent candidate. As a previous Alienware owner and currently ASUS user I'm perhaps a bit biassed and I'm also firmly of opinion Alienware is overpriced and lost it's glamour quite soon after Dell took over in 2006. I doubt it's much better value these days. They still make high end stuff to justify their product but the last ones I've used just seemed like toys to me rather than a serious computing option.
You could of course also get a second opinion at the Davincy forum: https://forum.blackmagicdesign.com/viewforum.php?f=21
We mostly have general knowledge here and their forum seems like a much more logical place to ask this.

[Nuxxxinho]

Thank you. I will on the davinci forum