[menaerus]

Known result from where? I failed to see the reference where it was proven before. Maybe I missed it. Do you have a reference?