minor proofs