theorem :: XPRIMES2:5697

canceled;