for p being Prime holds dom (canFS (Seg p)) = Seg p