theorem Th13: :: PETRI_DF:3

for a, b being object st a <> b holds
<*a,b,a*> is almost-one-to-one