Net1 asymptotic beweis angefangen