fregiers theorem