Existence mřížového čtverce k úhlopříčce