theorem domcanFS: :: MOEBIUS2:30

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