sin α1 with prolo