5˙3102
Aber auch hier ist ja der negative Satz indirekt durch den positiven gebildet.