5˙00533
Im zweiten Fall ist die Variable ein verallgemeinerter Satz