On Two Theorems of Combinatory Analysis and Some Allied Identities