Let A and B be partially ordered sets, and let C and D be chains of A and B, respectively. If A times B is ordered lexicographically, prove that C times D is a chain of A times B?