On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture