Ramanujam–Samuel_theorem loading ...