theorem :: XPRIMES2:1531

canceled;