methods of proof

1. REDIRECT Proof

{{r from ambiguous term}}