proof

Variables
proof


[show private | hide private]