Right!
[Rs
(Ba
Rs)]
[Rs
(Ba
Rs)]
IS
an instance of theorem 1 (P
P) with "Rs
(Ba
Rs)" substituted for "P" in both cases.
Copyright © 2005 by Martin C. Young
This Site is Proudly Hosted By:
(BaRs)][Rs(BaRs)] P) with "Rs(BaRs)" substituted for "P" in both cases.