phantom stable categories of $n$-Frobenius categories are triangulated

Let $n$ be a non-negative integer. Motivated by the universal property of the stable category of Frobenius categories, the authors in \cite{bfss} generalized the stabilization of Frobenius categories to $n$-Frobenius categories, defining the phantom stable category. For an $n$-Frobenius category $\C$, this consists of
a pair $(\C_{\p}, T)$, where $\C_{\p}$ is an additive category having the same objects as $\C$ and $T:\C\rt\C_{\p}$ an additive covariant functor that vanishes on $n$-$\Ext$-phantom morphisms and sends $n$-$\Ext$-invertible morphisms to isomorphisms, and $T$ has the universal property with respect to these conditions. The existence of the phantom stable category $(\C_{\p}, T)$ and its several interesting properties have appeared in \cite{bfss}. In this paper, we show that the syzygy functor $\syz$, constructed from $n$-projectives, from $\C$ to $\C_{\p}$ is not only an additive functor, but also it induces an auto-equivalence functor $\Syz$ on $\C_{\p}$. Then, as the main result, it is proved that phantom stable category $(\C_{\p}, T)$ is triangulated, with $\Syz$ serving as its shift functor.