how can I see quickest that the following holds:
Let $X$ and $Y$ be sufficiently nice schemes (e.g. always noetherian or maybe varieties) and denote with $p$ the projection
$X\times Y \rightarrow X$.
Then for a (sufficiently nice) sheaf $F$ on $X\times Y$ the adjunction
is an isomorphism.