Proper scheme

1. redirect proper morphism

{{Redirect category shell|

{{R from related word}}

}}