theorem :: XPRIMES2:6060

canceled;