module Main where import Proof