proof plane