Proceed to proving that toAlgOrn and fromAlgOrn are inverses.