Skip to content

Remove previous proof #717

Remove previous proof

Remove previous proof #717