theorem :: XPRIMES2:5568

canceled;