Hints for the proofs