Definition:General Mean Proportional