Brute force method

1. REDIRECT Proof by exhaustion

{{Redirect category shell|

{{R from move}}

}}