Puuttuva subjekti?

[akaihola]

I-1.tex:315:

Osoittautuu (ks.\ Esimerkki,\ref{kaksi Q-lakia} alla ja
Harj.teht.,\ref{H-I-1: Q-lakeja}), että lähdettäessä mainittua muotoa olevista luvuista ovat
laskuoperaatioiden $,x \map -x$, $,x \map x^{-1}$, $,x,y \map x+y,$ ja
$,x,y \map x \cdot y,$ aina samaa muotoa, eli muun tyyppisiä lukuja ei \Q:ssa ole.

Virke on jotenkin epäselvä. Tiivistettynä se on:

..., että lähdettäessä ... luvuista ovat laskuoperaatioiden ..., ... ja ... aina samaa muotoa, ...

ikään kuin sanan "laskuoperaatioiden" jäljestä puuttuisi sivulauseen subjekti.