theorem10
