Ghlen Livid added Theorem_3_follows_from_1__.tex  almost 8 years ago

Commit id: edd8a9f47275c7216d15d226d2084d53711a2e2a

deletions | additions      

         

Theorem: (3) follows from (1), (2).