prove the given condition
prove the given condition