theorem :: XPRIMES2:5764

canceled;