Algebraic identities working model || (a+b)whole cube proved