Whether Riesz -Thorin interpolation theorem hold for real-linear operators? The standard proof uses complex linearity, but maybe some another proof avoids the assumption of complex-linearity?