O(3)===O(3)
1+O(3)===2+O(3)
1+O(3)==O(3^-1)
1+O(3)==2+O(3)
