How do I connect my PS3 and HDMI sattelite reciever to my home theater system?

I want to connect my PS3 (which will be hoked to my TV via HDMI) and my cable box (which is also HDMI connected) to my home theater system. The only inpuut the reciever of the home theater system has is a stereo audio input.