Good proof! Clear explanation! 5/5