The Fibonacci Addition Identity states that: . This was useful in showing that: . However, I would like to use this result to express the same for and , where we can express in some linear combination of and . Is there any way to do this? I haven't been able to make use of the typical Fibonacci substitutions to make any progress.