Version 2 changes: ----------------- -- Theorem 1 now includes a larger range of p,q,r,s. (6/15/2016)