3-choosability of planar graphs with (<=4)-cycles far apart - Z. Dvorak (2011)