Fermat Set is Diophantine Quadruple

Theorem
The Fermat set $F = \left\{{1, 3, 8, 120}\right\}$ is a Diophantine quadruple:
 * $\forall a, b \in F: a \ne b: a b + 1 = n^2$

for some $n \in \Z$.