theorem :: XPRIMES2:5496

canceled;