A1: rng (p ^ q) = (rng p) \/ (rng q) by Th44;
( rng p c= D & rng q c= D ) by Def4;
hence rng (p ^ q) c= D by A1, XBOOLE_1:8; :: according to FINSEQ_1:def 4 :: thesis: verum