ASTU CSEC number theory