Frobenius integration theorem