fary theorem