Theorem 5.9 in partial compact quantum groups complete

rewritten as discussed; introduced a Corollary 3.48 for cleaner reference.