Theoretical evidence of a feasible concerted antara–antara cycloaddition