theorem :: XPRIMES2:5886

canceled;