Proofs of Derivations in Memory Polynomial Baseband Modeling of RF Power Amplifiers