Proved that toAlgOrn is left inverse to fromAlgOrn.