Om så är , kan manbetrakta