The given inequality is successively equivalent to
8cosxcosy(cosxcosy+sinxsiny)+1>4cos2x+4cos2y,
8cos2xcos2y−4cos2x−4cos2y+2sin2xsin2y+1>0,
2(2cos2x−1)(2cos2y−1)+2sin2xsin2y−1>0,
cos2xcos2y+sin2xsin2y>21,
cos(2x−2y)>21.
By the pigeonhole principle, in one of the sets
⟨0,6π⟩,[6π,3π),[3π,2π]
there are two out of four given numbers. Let these be x and y.
Now we have ∣2x−2y∣<3π and cos(2x−2y)>21, which proves the claim.