- Proof: Communative Property for Discrete Time_OldKiwi
- Proof: Communative Property for Continuous Time_OldKiwi
- Proof: Distributed Property for Discrete Time_OldKiwi
- Proof: Distributed Property for Continuous time_OldKiwi
- Proof: Associative Property for Discrete Time_OldKiwi
- Proof: Associative Property for Continous Time_OldKiwi