recipreocity theorem