Harold W. Watts (1968); axiomatized by Buhong Zheng (1993)

שיטות המיוחסות למחבר זה. שיטה 1