$a_{x|y}$(リバージョン年金)の期始払形式 $\ddot{a}_{x|y}$ を $\ddot{a}_y, \ddot{a}_{xy}$ で表すとどれか。

$(y)$ への終身年金から、$(x)$ と $(y)$ が共に生存している期間の年金を引くことで求められる。