Basic laws of algebra