Se här bevisen för dessa satser: