marions theorem