Context Theorem in Propositional Calculus

For an arbitrary but well formed context 'C', there exists a Proposition 'P', howsoever elementary and/or trivial, such that the entire Group 'G' influenced by context 'C' agrees upon some particular aspect of proposition 'P'

(KG --> KKP) + 1s ==> (KP --> KKG) + 1ns ==> (KNP --> KKLG)

~ Rahul Sharma (http://sabir-ki-shayri.blogspot.com/)
14-Feb-09