prove the given condition