  Peacock believed that in order for symbolical algebra to be a useful subject its laws had to be closely related to those of arithmetical algebra. In this connection he introduced his principle of the permanence of equivalent forms, a principle connecting results in arithmetical algebra to those in symbolical algebra. This principle has two parts: